Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems

نویسندگان

  • Jicheng Fu
  • Vincent Ng
  • Farokh B. Bastani
  • I-Ling Yen
چکیده

Evaluation Goal: Evaluate FIP, which implements the Basic algorithm together with our two extensions, on problem instances from 4 domains in the IPC2008 FOND track Blocksworld, faults, first-responders, forest Compared against two state-of-the-art planners: Gamer & MBP Results and Discussion FIP has a better problem coverage than Gamer & MBP [Table 1] Gamer & MBP cannot solve more than 10 problems in Blocksworld FIP can solve all problems efficiently (cutoff time 1,200 seconds) FIP outperforms other planners w.r.t. CPU time t (expressed in seconds) and solution size s (expressed in the number of states in the solution policy) [Table 2] Simple and Fast Strong Cyclic Planning for FullyObservable Nondeterministic Planning Problems

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stubborn Sets for Fully Observable Nondeterministic Planning

The stubborn set method is a state-space reduction technique, originally introduced in model checking and then transfered to classical planning. It was shown that stubborn sets significantly improve the performance of optimal deterministic planners by considering only a subset of applicable operators in a state. Fully observable nondeterministic planning (FOND) extends the formalism of classica...

متن کامل

Using Classical Planners to Solve Nondeterministic Planning Problems

Researchers have developed a huge number of algorithms to solve classical planning problems. We provide a way to use these algorithms, unmodified, to generate strong-cyclic solutions in fully-observable nondeterministic planning domains. Our experiments show that when using our technique with FF and SGPlan (two well-known classical planners), its performance compares quite favorably to that of ...

متن کامل

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners

We consider the problem of planning in environments where the state is fully observable, actions have non-deterministic effects, and plans must generate infinite state trajectories for achieving a large class of LTL goals. More formally, we focus on the control synthesis problem under the assumption that the LTL formula to be realized can be mapped into a deterministic Büchi automaton. We show ...

متن کامل

Strong-Cyclic Planning when Fairness is Not a Valid Assumption

We address the class of fully-observable nondeterministic (FOND) planning problems where non-deterministic actions are not guaranteed to display fair behaviour. Typical solutions to FOND planning problems either guarantee goal reachability with a bounded number of transitions (so-called strong acyclic solutions), or are predicated on a fairness assumption that presumes each action effect occurs...

متن کامل

Pattern Database Heuristics for Fully Observable Nondeterministic Planning

When planning in an uncertain environment, one is often interested in finding a contingent plan that prescribes appropriate actions for all possible states that may be encountered during the execution of the plan. We consider the problem of finding strong cyclic plans for fully observable nondeterministic (FOND) planning problems. The algorithm we choose is LAO*, an informed explicit state sear...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011